#include <stdio.h>

int main()
{
    long int a;
    for(a = 1001;a <= 3000;a+=2)
    {
        printf("%ld:",a);
        printf("(%ld*%ld - 1)/8",a,a);
        printf("= %ld",(a*a-1)/8);
        printf("+%ld\n",(a*a-1)%8);
    }
}